1c4f7194bfb56f2d3d657f3c0108ca5515b1ddcb,plugins/mpsjava/platform/source_gen/jetbrains/mps/ide/java/platform/highlighters/JavaHighlighters.java,JavaHighlighters,disposeComponent,#,31

Before Change



  public void disposeComponent() {
    Highlighter highlighter = getHighlighter();
    highlighter.removeChecker(myOverrideMethodsChecker);
    myOverrideMethodsChecker.dispose();
    myOverrideMethodsChecker = null;
    myProject = null;

After Change


    Highlighter highlighter = getHighlighter();
    while (DequeSequence.fromDeque(myCheckers).isNotEmpty()) {
      BaseEditorChecker checker = DequeSequence.fromDeque(myCheckers).popElement();
      highlighter.removeChecker(checker);
      checker.dispose();
    }